" Dana Scott" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Colloquial Cantonese: The Complete Course for Beginners

Dana Scott Bourgerie, Keith S T Tong, Gregory James

Категория: Математика, Прикладная математика

3.71 Mb

#2

Colloquial Cantonese: The Complete Course for Beginners

Dana Scott Bourgerie, Keith S T Tong, Gregory James

3.71 Mb

#3

The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science)

Freek Wiedijk

2.16 Mb

#4

Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper

3.80 Mb

#5

Computation of language

Roland Hausser, Dana Scott

Категория: linguistics , artificial intelligence

1.42 Mb

#6

Computation of Language: An Essay on Syntax, Semantics and Pragmatics in Natural Man-Machine Communication (Symbolic Computation / Artificial Intelligence)

Roland Hausser, Dana Scott

2.43 Mb

#7

The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

Freek Wiedijk

1.33 Mb

#8

The Seventeen Provers of the World: Foreword by Dana S. Scott

Freek Wiedijk

1.33 Mb

#9

Applications of Sheaves

Algebra Research Symposium on Applications of Sheaf Theory to Logic, M. P. Fourman, C. J. Mulvey, Dana S. Scott, London Mathematical Society

29.21 Mb